#ifndef CONJUNCTION_H
#define CONJUNCTION_H
#include <vector>
#include "valuation.h"
namespace cdnf{

class Conjunction
{
public:
	//Conjunction():
	bool getValue(bool* valuation);
	bool getValue(Valuation& valuation);
	bool getValue(std::vector<int> values);
	std::vector<int>& getTerms();
	void setTerms(std::vector<int> terms);
	void addTerm(int term);
	int getTerm(int index);
	void setTerm(int index,int term);
	bool isDegenerated();
	void setDegeneratedValue(bool degeneratedValue);
	bool getDegeneratedValue();
private:
	std::vector<int> terms;
	bool degeneratedValue;
};

}
#endif
